inferencia lógica ejercicios